Universidade Nova de Lisboa - PDFSEARCH.IO - Document Search Engine

Universidade Nova de Lisboa
Results: 219

#	Item
61	Spatial-Behavioral Types for Concurrency and Resource Control in Distributed Systems Lu´ıs Caires CITI / Departamento de Inform´ atica, Universidade Nova de Lisboa, Portugal Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:11
62	A Spatial-Epistemic Logic for Reasoning about Security Protocols Bernardo Toninho CITI and Faculdade de Ciˆencias e Tecnologia, Universidade Nova de Lisboa Carnegie Mellon University, Pittsburgh PA, USA . Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2010-09-24 12:00:16
63	Environmental benefits and constraints of cultivating crops for energy and biomaterials Ana Luísa Fernando Universidade Nova de Lisboa/Faculdade de Ciências e Tecnologia, DCTB/UBiA, Add to Reading List Source URL: www.fibrafp7.net Language: English - Date: 2013-11-24 18:55:33
64	UNIVERSIDADE NOVA DE LISBOA Faculdade de Ciências e Tecnologia Departamento de Ciências e Engenharia do Ambiente ESTUDO COMPARATIVO DE CUSTOS DE SOLUÇÕES DE TRATAMENTO E DESTINO FINAL Add to Reading List Source URL: www.anmp.pt Language: Portuguese - Date: 2012-03-01 13:05:47
65	INSTITUTO DE LÍNGUAS DA UNIVERSIDADE NOVA DE LISBOA (Aprenda a sorrir numa nova língua estrangeira) Ficha de Unidade Curricular Add to Reading List Source URL: ilnova.fcsh.unl.pt Language: Portuguese - Date: 2013-08-28 18:46:00
66	Session Types as Intuitionistic Linear Propositions Lu´ıs Caires1 and Frank Pfenning2 1 CITI and Departamento de Inform´atica, FCT, Universidade Nova de Lisboa 2 Add to Reading List Source URL: ctp.di.fct.unl.pt Language: English - Date: 2012-09-27 14:27:11
67	CENSE - Center for Environmental and Sustainability Research, Department of Environmental Sciences and Engineering of the Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Caparica. Po Add to Reading List Source URL: iea-etsap.org Language: English - Date: 2010-11-10 00:58:17
68	Nota Biográfica Maria Arménia Carrondo É desde 1998 Professora Catedrática do Instituto de Tecnologia Química e Biológica (ITQB) da Universidade Nova de Lisboa, onde coordena a Unidade de Cristalografia Macromolec Add to Reading List Source URL: www.fct.pt Language: Portuguese - Date: 2015-04-20 12:34:46
69	INSTITUTO DE LÍNGUAS DA UNIVERSIDADE NOVA DE LISBOA (Aprenda a sorrir numa nova língua estrangeira) Ficha de Unidade Curricular Add to Reading List Source URL: ilnova.fcsh.unl.pt Language: Portuguese - Date: 2013-08-28 18:46:00
70	Rely-Guarantee Protocols Filipe Milit˜ao1,2 , Jonathan Aldrich1 , and Lu´ıs Caires2 1 Carnegie Mellon University, Pittsburgh, USA Universidade Nova de Lisboa, Lisboa, Portugal Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-07-20 12:05:40

UPDATE